A Notion of Serializability for Document Editing and Corresponding Optimal Locking Protocols
نویسندگان
چکیده
This report describes the theoretical results underlying the PIECEMEAL concurrency management technique for collaborative editing. It presents a formalization of a document and edit operations on a document based on a graph model. Starting from these we propose notions of transactions and serializabilty that are related to how conflicts are defined in version-management systems such as CVS and Subversion. Then it is investigated how optimal certain locking strategies are that are based on edge-locking and that realize the aforementioned serializability. It is also investigated if and how in this setting series of operations can be combined into a single operation.
منابع مشابه
On using similarity for concurrency control in real-time database systems
Most of the proposed concurrency control protocols for real-time database systems (RTDBS) are based on serializability theorem. Owing to the unique characteristics of real-time database applications and the importance of satisfying the timing constraint of the transactions, serializable concurrency control protocols are not suitable for RTDBS for most cases. In this paper, another notion of cor...
متن کاملSecure Locking Protocols for Multilevel Database Management Systems
While there are several secure concurrency control protocols for multilevel database management systems, most of them employ timestamp ordering or multiple versions of data or a hybrid protocol that utilizes both. The only known secure locking protocol that maintains single version data and can guarantee serializability, immediately aborts a higher level transaction whenever any of its locks at...
متن کاملExploiting Semantics and Speculation for Improving the Performance of Read-only Transactions
A read-only transaction (ROT) does not modify any data. Efforts are being made in the literature to improve the performance of ROTs without correctness and data currency issues. The widely used twophase locking protocol (2PL) processes the transactions without any correctness and data currency issues. However, the performance of 2PL deteriorates with data contention. Snapshot isolation (SI)-bas...
متن کاملBounded Inconsistency for Type - Speci c Concurrency
The traditional correctness criterion of serializability in databases is considered too restrictive especially when databases are used to model advanced applications. In general, two approaches are adopted to address this problem. The rst approach considers placing more structure on data objects to exploit type speciic properties while keeping serializability as the correctness criterion. The o...
متن کاملOptional and Responsive Fine-Grain Locking in Internet-Based Collaborative Systems
Locking is a standard technique in distributed computing and database systems used to ensure data integrity by prohibiting concurrent conflicting updates on shared data objects. Internet-based collaborative systems are a special class of distributed applications which support human-to-human interaction and collaboration over the Internet. In this paper, a novel optional and responsive fine-grai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010